Coalgebraic Tools for Randomness-Conserving Protocols
نویسندگان
چکیده
We propose a coalgebraic model for constructing and reasoning about state-based protocols that implement efficient reductions among random processes. provide basic tools allow to be constructed in compositional way analyzed terms of the tradeoff between state loss entropy. show how use these construct various entropy-conserving
منابع مشابه
Randomness in Distribution Protocols 1 Randomness in Distribution Protocols
Randomness is a useful computation resource due to its ability to enhance the capabilities of other resources. Its interaction with resources such as time, space, interaction with provers and its role in several areas of computer science has been extensively studied. In this paper we give a systematic analysis of the amount of randomness needed by secret sharing schemes and secure key distribut...
متن کاملDistributed Energy-conserving Routing Protocols
This paper discusses several distributed poweraware routing protocols in wireless ad-hoc networks (especially sensor networks). We seek to optimize the lifetime of the network. We have developed three distributed power-aware algorithms and analyzed their efficiency in terms of the number of message broadcasts and the overall network lifetime modeled as the time to the first message that can not...
متن کاملFibred Coalgebraic Logic and Quantum Protocols
Motivated by applications in modelling quantum systems using coalgebraic techniques, we introduce a fibred coalgebraic logic. Our approach extends the conventional predicate lifting semantics with additional modalities relating conditions on different fibres. As this fibred setting will typically involve multiple signature functors, the logic incorporates a calculus of modalities enabling the c...
متن کاملCoalgebraic Tools for Bisimilarity and Decorated Trace Semantics
een wetenschappelijke proeve op het gebied van de Natuurwetenschappen, Wiskunde en Informatica Proefschrift ter verkrijging van de graad van doctor aan de Radboud Universiteit Nijmegen op gezag van de rector magnificus prof. mr.
متن کاملCoalgebraic Tools for Bisimilarity and Decorated Trace Semantics
een wetenschappelijke proeve op het gebied van de Natuurwetenschappen, Wiskunde en Informatica Proefschrift ter verkrijging van de graad van doctor aan de Radboud Universiteit Nijmegen op gezag van de rector magnificus prof. mr.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of logical and algebraic methods in programming
سال: 2022
ISSN: ['2352-2208', '2352-2216']
DOI: https://doi.org/10.1016/j.jlamp.2021.100734